Tools for Functional Verification of Microprocessors

Performance and Functional Verification of Microprocessors

We address the problem of verifying the correctness of pre-silicon models of a microprocessor. We touch on the latest advances in this area by considering two different aspects of the validation problem: (a) verifying the functional integrip of the model and (b) testing the model for timing accuracy at the architectural level. The latter area, that of performance verification, is of increasing ...

Functional Design Verification for Microprocessors by Error Modeling

Verification methodology of compatible microprocessors

As the complexity of high-performance microprocessor increases, functional verification becomes more difficult and emerges as the bottleneck of the design cycle. In this paper, we suggest a functional verification methodology, especially for the compatible microprocessor design. To guarantee the perfect compatibility with previous microprocessors, we developed three C models in different repres...

Software Tools for the Analysis of Functional Magnetic Resonance Imaging

Functional magnetic resonance imaging (fMRI) has become the most popular method for imaging of brain functions. Currently, there is a large variety of software packages for the analysis of fMRI data, each providing many features for users. Since there is no single package that can provide all the necessary analyses for the fMRI data, it is helpful to know the features of each software package. ...

Design Verification of Complex Microprocessors

As t h e complexity of microprocessor increases, functional verification becomes more difficult and emerges as t h e bottleneck of t he design cycle. In this paper, we suggest a functional verification methodology, especially for t he compatible microprocessor design. To guarantee t h e perfect compatibility with previous microprocessors, we developed these C models in different representation ...